Languages Recognized with Unbounded Error by Quantum Finite Automata
نویسندگان
چکیده
We prove the following facts about the language recognition power of Kondacs-Watrous quantum finite automata in the unbounded error setting: One-way automata of this kind recognize all and only the stochastic languages. When the tape head is allowed two-way (or even " 1.5-way ") movement, more languages become recognizable. This leads to the conclusion that quantum Turing machines are more powerful than probabilistic Turing machines when restricted to constant space bounds.
منابع مشابه
Language Recognition by Generalized Quantum Finite Automata with Unbounded Error
We prove that the class of languages recognized by generalized quantum finite automata (GQFA's) with unbounded error equals the class of stochastic languages. The capability of performing additional intermediate projective measurements does not increase the recognition power of GQFA's over Kondacs-Watrous quantum finite automata in this setting. Unlike their probabilistic counterparts, allowing...
متن کاملQuantum Finite Automata with One-Sided Unbounded Error
We prove that several variants of the quantum finite automaton (QFA) model are strictly superior to their probabilistic counterparts, in terms of both language recognition power and succinctness, in the one-sided unbounded error setting. This is the first case where one-way QFA models have been shown to outperform the corresponding probabilistic automata in both these respects. We give a charac...
متن کاملUnbounded-error quantum computation with small space bounds
We prove the following facts about the language recognition power of quantum Turing machines (QTMs) in the unbounded error setting: QTMs are strictly more powerful than probabilistic Turing machines for any common space bound s satisfying s(n) = o(log log n). For " one-way " Turing machines, where the input tape head is not allowed to move left, the above result holds for s(n) = o(log n). We al...
متن کاملComplexity Bounds of Constant-Space Quantum Computation
We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In particular, we show that, when the automata halt “in finite steps” along all computation paths, they must terminate in worstcase liner time. In the bounded-erro...
متن کاملOn languages not recognizable by One-way Measure Many Quantum Finite automaton
Measure Many Quantum Finite Automaton is not the strongest known model of quantum automaton but, it is still an open question what is the class of languages recognized by it when only bounded error probability is allowed. In this paper a natural class of ”word set” regular languages are studied. A proof that in general case the class can not be recognized by One-way model of Measure Many Quantu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009